(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(declare-fun f () Int)
(declare-fun h () Int)
(declare-fun g () Int)
(declare-fun j () Int)
(declare-fun i () Int)
(assert (and (= (+ (* (- j i))) (+ (* (* e c))) 0 (+ (* a g (- (* (* (- (+ b a (* (* d f e c)))) j)) 1)) g)) (>= (+ (* (- (* (* h b c)) (* (- 1) (* h d e c))))) c (+ (* (* i c)) (* (- 1) (* h b c)) (* (- 1) (* h d e c)) (* (* g e c)) (* (- 1))) 0)))
(check-sat)
